logic formula中文是什么意思

发音:

中文翻译
造句

逻辑公式

logic n. 1.逻辑，理论学。 2.推理[方法]；逻辑性，条理 ...
formula n. (pl. formulas, -lae ) 1.公 ...
formula (mathematical logic) 公式 (数理逻辑)
formula of propositional logic 命题逻辑公式
validity of formula in fuzzy logic 模糊逻辑公式的有效性
by formula 按公式
the formula 魔头对魔头
-logic -logic, -logical 〔构成与 -logy 结尾的名词相应的形容词〕表示“…学的”： biological, philological.
and logic “与”逻辑
logic n. 1.逻辑，理论学。 2.推理[方法]；逻辑性，条理性。 3. 威力，压力，强制(力)。 deductive [inductive] logic演绎[归纳]逻辑。 dialectical logic辩证逻辑。 formal logic形式逻辑。 a gangster logic强盗逻辑，恶徒的歪理[言行]。 mathematical logic数理逻辑。 pure logic纯粹逻辑。 He is not governed by logic. 他没有逻辑性。 That is not logic. 那不合逻辑。 the irresistible logic of facts 事实的不可抗拒的威力。 the logic of events [war] 事件[战争]的强制力。 His logic is shaky. 他的推理站不住脚。 chop logic 诡辩。
logic-and 逻辑“与”
or logic 或逻辑
a ortionment formula 分摊方程式
a pseudoscientific formula 一个假科学公式
a rigid formula 呆板的公式; 僵硬的公式
abbreviated formula 简化式; 简写式; 缩写式
absorption formula 吸收性公式
accessing formula 访问公式
accounting formula 会计公式
activation formula 激活公式
add formula 加添公式
addition formula 加法公式
agreed formula 一致同意的办法, 商定方案
airlight formula 大气光学公式

"查查词典"手机版

千万人都在用的超大词汇词典翻译APP

例句与用法

Truth degree of intuitionistic fuzzy propositional logic formula
直觉模糊命题逻辑公式的真度
Theory of truth degree based on the finite interpretation and enumerable interpretation of fuzzy predicate logic formulas
模糊谓词逻辑公式的有限和可数解释真度理论
It can be used to validate the unsatisfiability and satisfiability of propositional logic formulae quickly
这种方法可以对逻辑公式的原始形态直接进行计算，无需化简。
Theory of truth degree of first - order fuzzy predicate logics formulas based on the finite interpretation and enumerable interpretation and its application
一阶模糊谓词逻辑公式的有限解释真度和可数解释真度的理论及其应用
After - transforming the labeled transition system of operational semantics and linear temporal logic formula into btlchi automata respectively , the correctness of uml statecharts can be verified using automaton - based model checking method
在把根据eha操作语义得到的标记迁移系统和表示性质的线性时态逻辑公式分别转换为b chi自动机后，用基于自动机理论的模型检验方法验证umlstatecharts的正确性。
The method of model checking is a formal verification technique using the method of state - space search to verify if the behaviors of a given system ( the model ) satisfy a certain property that represented by temporal logic formulas , while the system presented as a kripke structure
它通常采用状态空间搜索的方法来检测一个给定的计算模型是否满足某个用时序逻辑公式表示的特定属性。它是一个自动检验有限状态并发系统的技术。
In addition , there are other important issues to be addressed , such as how to represent formal knowledge and to markup logic formula for querying and inference in semantic w eb , and how to improve retrieving efficiency and accuracy of querying via ontology learning , and etc . as the web is thought as a popular distributed platform , into which more and more traditional applications are been transitioned , there are other two promising fields for applying and further developing concepts and methods of ke in semantic web worth paying attention to two fields : iii ( intelligent information integration ) and km ( knowledge management ) in the context of semantic web
这种发展过程在解决目前web面临问题的同时， ontology成熟技术和其他传统技术如何成功地融入到web计算模式中至关重要。除了一些关键的标准和技术外，如何在语义化web中表示形式化的知识、表示查询公式实现查询乃至推理功能、为提高查询效率与准确性进行ontology学习等都是web语义化过程中的主要问题。在传统的应用向web计算环境迁移的同时， ke技术应用于语义化web最具前景的是智能信息集成和km 。
As examples , a - tautologies and f - tautologies in lattice valued logic systems 1 - 4p ( x ) and l6p ( x ) are discussed in detail . ( 2 ) a kind of calculus method that is used to determine the truth - values of propositional logic formulae by means of the dynamic neural networks is proposed . it is not necessary that the formulae be simplified into normal form
本文分析讨论了基于格蕴涵代数直积的格值逻辑系统中的-重言式和f -重言式，作为两个实例，详细讨论了两个格值逻辑系统l _ 4p ( x )和l _ 6p ( x )中的重言式和f -重言式的结构。